Basic research - PDFSEARCH.IO - Document Search Engine

Basic research
Results: 2119

#	Item
651	BRICS Basic Research in Computer Science BRICS NS-98-3 Klarlund & Møller: MONA Version 1.2 — User Manual Add to Reading List Source URL: www.brics.dk Language: English - Date: 1998-10-08 20:01:28
652	BRICS Basic Research in Computer Science BRICS LS-98-2 C. Butz: Regular Categories and Regular Logic Add to Reading List Source URL: www.brics.dk Language: English - Date: 1999-03-24 17:56:49
653	BRICS Basic Research in Computer Science BRICS RSJ. Srba: Complexity of Weak Bisimilarity and Regularity for BPA and BPP Complexity of Weak Bisimilarity and Add to Reading List Source URL: www.brics.dk Language: English - Date: 2000-06-28 08:27:41
654	BRICS Basic Research in Computer Science BRICS RSJ. Pagter: Ajtai, Branching Programs and the Hamming Distance Problem On Ajtai’s Lower Bound Technique for Add to Reading List Source URL: www.brics.dk Language: English - Date: 2000-09-12 04:14:47
655	BRICS Basic Research in Computer Science BRICS RST. Amtoft: Partial Evaluation for Constraint-Based Program Analyses Partial Evaluation for Add to Reading List Source URL: www.brics.dk Language: English - Date: 2000-03-10 05:03:18
656	Call for Abstracts to be presented at Center for Basic and Translational Research on Disorders of the Digestive System Center for Advanced Digestive Care (CADC) at New York-Presbyterian/Weill Cornell Medical Center Resea Add to Reading List Source URL: rucares.org - Date: 2014-09-09 10:48:47
657	BRICS Basic Research in Computer Science BRICS RSNygaard & Winskel: Domain Theory for Concurrency Domain Theory for Concurrency Add to Reading List Source URL: www.brics.dk Language: English - Date: 2004-01-23 09:30:42
658	BRICS Basic Research in Computer Science BRICS RSB. Grobauer: Cost Recurrences for DML Programs Cost Recurrences for DML Programs Add to Reading List Source URL: www.brics.dk Language: English - Date: 2001-08-23 08:34:58
659	BRICS Basic Research in Computer Science BRICS RSLarsen et al.: Danfoss EKC Trial Project Deliverables Danfoss EKC Trial Project Deliverables Add to Reading List Source URL: www.brics.dk Language: English - Date: 2004-02-11 10:06:42
660	BRICS DS-04-5 B. Skjernaa: Exact Algorithms for Variants of Satisfiability and Colouring Problems BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2005-04-05 15:07:30 NP-complete problems Boolean satisfiability problem NP-complete Satisfiability Maximum cut Algorithm Graph coloring 2-satisfiability Theoretical computer science Mathematics Applied mathematics

UPDATE